#include <iostream>
#include <vector>
#include "Graph.h"
#include "TestGraphAlgorithms.h"
#include <stdio.h>
#include "2-SAT.h"
#include "Test2-SAT.h"


int main(){
    try{
        TestAllAlgorithms();
        TestAll2SAT();
    }
    catch (const std::exception &ex){
        std::cout<<ex.what();
    }
    return 0;
    
}  